Prove ((sin 7x sin 5x) (sin 9x sin 3x))